type T = Obj.['a'];
